منابع مشابه
Mixed Strand Spaces
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related problem of mixed protocols, and show that a protocol can remain correct even when used in combination with a range of other protocols. We illustrate the method with the familiar OtwayRees [10, 1] protocol. We identify a simp...
متن کاملDistorting Mixed Tsirelson Spaces∗
Any regular mixed Tsirelson space T (θn, Sn)IN for which θn θn → 0, where θ = limn θ n , is shown to be arbitrarily distortable. Certain asymptotic `1 constants for those and other mixed Tsirelson spaces are calculated. Also a combinatorial result on the Schreier families (Sα)α<ω1 is proved and an application is given to show that for every Banach space X with a basis (ei), the two ∆-spectrums ...
متن کاملLinear v{C}ech closure spaces
In this paper, we introduce the concept of linear v{C}ech closure spaces and establish the properties of open sets in linear v{C}ech closure spaces (Lv{C}CS). Here, we observe that the concept of linearity is preserved by semi-open sets, g-semi open sets, $gamma$-open sets, sgc-dense sets and compact sets in Lv{C}CS. We also discuss the concept of relative v{C}ech closure operator, meet and pro...
متن کاملEmbedding normed linear spaces into $C(X)$
It is well known that every (real or complex) normed linear space $L$ is isometrically embeddable into $C(X)$ for some compact Hausdorff space $X$. Here $X$ is the closed unit ball of $L^*$ (the set of all continuous scalar-valued linear mappings on $L$) endowed with the weak$^*$ topology, which is compact by the Banach--Alaoglu theorem. We prove that the compact Hausdorff space $X$ can ...
متن کاملRemotality and proximinality in normed linear spaces
In this paper, we consider the concepts farthest points and nearest points in normed linear spaces, We obtain a necessary and coecient conditions for proximinal, Chebyshev, remotal and uniquely remotal subsets in normed linear spaces. Also, we consider -remotality, -proximinality, coproximinality and co-remotality.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Universitatis Sapientiae, Mathematica
سال: 2017
ISSN: 2066-7752
DOI: 10.1515/ausm-2017-0020